- raisonnement
- Un raisonnement peut etre vu comme une suite d'enonces ou de representations symboliques conduit en fonction d'un but a atteindre. Dans un systeme a base de connaissances, un raisonnement peut etre considere comme une decouverte des connaissances s'appuyant sur des donnees connues et menant a un but determine.NON-MONOTONEEn logique, si q est une conclusion valide d’un ensemble de premisses (pi)0<i<n elle le restera si l’on dispose d’un ensemble (pi)0<i<n+1<m . Cette propriete de raisonnement logique temoigne de ce que la logique n’exprime que des modeles trop idealises de situations ordinaires. En effet les (pi)n+1<i<m peuvent signifier que l’on se trouve dans une situation exceptionnelle dans laquelle la conclusion n’est plus assuree. Cette situation est frequente dans les activites habituelles dans lesquelles on utilise plus des normes que des lois infaillibles. La comprehension de textes n’est pas par exemple un processus qui partant de donnees (les perceptions) aboutirait a un resultat (le sens) : il s’agit beaucoup plus d’une recherche d’equilibre entre differentes contraintes dont le resultat est toujours provisoire puisque remis en question par la prise en compte de nouvelles informations. Il est clair que tous les raisonnements humains ne peuvent etre traduits en utilisant la deduction "monotone" manipulee par la logique traditionnelle. Certains raisonnements prennent en compte dans leur deroulement l’absence d’informations non formulees ou manquantes par defaut et parallelement les moyens de recours potentiel pour activer, recuperer les informations si cela s’avere necessaire. Au contraire des logiques monotones, les logiques non-monotones prennent en compte le fait que la donnee de nouveaux phenomenes peut amener a reviser les premieres conclusions construites.
Glossaire de linguistique computationnelle. 2014.
